Google DeepMind successfully cracked unresolved mathematical problems using large language models. The AI tool FunSearch discovered verifiable and valuable new information. FunSearch is a tool that can find solutions in the field of mathematics. By combining with a large language model Codey, FunSearch also successfully solved the bin packing problem.